The ultradiscrete Toda lattice and the Smith normal form of bidiagonal matrices

The discrete Toda lattice preserves the eigenvalues of tridiagonal matrices, and convergence dependent variables to can be proved under appropriate conditions. We show that ultradiscrete invariant factors a certain bidiagonal matrix over principal ideal domain prove using properties box ball system. Using this fact, we present new method for computing Smith normal form given matrix.